natural deduction system
英 [ˈnætʃrəl dɪˈdʌkʃn ˈsɪstəm]
美 [ˈnætʃrəl dɪˈdʌkʃn ˈsɪstəm]
网络 自然推理系统; 自然演绎系统; 自然演繹系統
双语例句
- This paper presented an automated reasoning algorithm for natural deduction system ( NR) of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。 - N_l: a loose natural deduction system of temporal logic
NL：松弛时序逻辑自然推理系统 - The conditions satisfied for the existential instantiation and the universal generalization in the natural deduction system are described clear, whereas they are described rather vaguely in many textbooks on discrete mathematics.
清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件，而这些条件在许多离散数学教科书中叙述得相当含糊。 - First, an extended natural deduction system of the programming logic is established and then its completeness is proved.
以扩充的自然推理系统为基础，建立了程序逻辑的一个形式推导系统，并证明了它的完全性。 - A Non-Monotonic Heuristic Natural Deduction System Category B contains six types.
非单调启发式推理系统B类是推理； - Abstract operator logic and its natural deduction system
抽象算子逻辑及其自然演绎系统 - Using operator to model constraints, this paper researches such abstract operator logic, analyzes its syntax, semantics, axiomatic system, its natural deduction system and its normalized natural deduction system, provide the theoretical foundation for constrict analysis of hierarchy system.
研究了抽象算子逻辑，并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系统分析设计中的约束处理提供了理论基础。